How to create control flow graph